Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Function |pointer

json/value::|pointer


Usage

|pointer(json, pointer)

Parameters

↳ json: Json (json::Json)
↳ pointer: string

Return

↴ Option<Json>


Return the value at pointer within json, or none if there is none.

pointer is a JSON Pointer (RFC 6901), such as "/hit/download/url", "/parts/0", or "" for json itself. In names, ~1 stands for / and ~0 for ~.